Mereotopological Analysis of Formal Concepts in Security Ontologies

In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their classes, based on the entailment in the ontology, is presented. The analysis is carried out by means of a graphical tool (called Paella) that implements such an interpretation and it can suggest the potential debugging of anomalies. The analysis also suggests how to interpret the representational anomalies.Ministerio de Ciencia e Innovación TIN2009-0949

Reconciling Knowledge in Social Tagging Web Services

Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge (for example, our personal bookmarks). A potential solution could be the use of knowledge from other users to find what we are searching for. This solution implies that we can achieve some agreement on implicit semantics used by the other users. We call it Reconciliation of Knowledge. The aim of this paper is to show an agent-based method which lets us reconcile two different knowledge basis (associated with tagging systems) into a common language, obtaining a new one that allows the reconcilitiation of (part of) this knowledge. The agents use Formal Concept Analysis concepts and tools and it has been implemented on the JADE multiagent platform.Ministerio de Ciencia e Innovación TIN2009-0949

Modeling Lexicon Emergence as Concept Emergence in Networks

Amodel for lexicon emergence in social networks is presented. The model is based on a modified version of classic Naming Games, where agents’ knowledge is represented by means of formal contexts. That way it is possible to represent the effect interactions have on individual knowledge as well as the dynamics of global knowledge in the network.Ministerio de Economía y Competitividad TIN2013-41086-PJunta de Andalucía TIC-606

iaBastos: An Intelligent Marketplace for Agricultural Products

In this paper we present a multi-agent platform designed to support p2p auctions on agricultural products. Experiments show that it could be feasible to integrate a platform, which is de-centralized by nature, into the current socioeconomic environment. The reason is that this market is managed by hard-centralized ecosystem, and experiments with our system show a significant reduction in marketing margins for the benefit of consumers and producers

Agent-mediated shared conceptualizations in tagging services

Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow the use of folksonomies as a useful structure for a number of tasks in the social web, such as navigation and knowledge organization. One of the main deficiencies comes from the tagging behaviour of different users which causes semantic heterogeneity in tagging. As a consequence a user cannot benefit from the adequate tagging of others. In order to solve the problem, an agent-based reconciliation knowledge system, based on Formal Concept Analysis, is applied to facilitate the semantic interoperability between personomies. This article describes experiments that focus on conceptual structures produced by the system when it is applied to a collaborative tagging service, Delicious. Results will show the prevalence of shared tags in the sharing of common resources in the reconciliation process.Ministerio de Ciencia e Innovación TIN2009-09492Ministerio de Ciencia e Innovación TIN2010-20967-C04-0

Qualitative Reasoning on Complex Systems from Observations

A hybrid approach to phenomenological reconstruction of Complex Systems (CS), using Formal Concept Analysis (FCA) as main tool for conceptual data mining, is proposed. To illustrate the method, a classic CS is selected (cellular automata), to show how FCA can assist to predict CS evolution under different conceptual descriptions (from different observable features of the CS).Junta de Andalucía TIC-606

Social Ontology Documentation for Knowledge Externalization

Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether is possible to enhance its management. Mechanical processing of information represents a chance to carry out these tasks, as well as to turn intangible knowledge assets into real assets. Machine-readable knowledge provides a basis to enhance knowledge management. A promising approach is the empowering of Knowledge Externalization by the community (users, employees). In this paper, a social semantic tool (called OntoxicWiki) for enhancing the quality of knowledge is presented.Ministerio de Ciencia e Innovación TIN2009-0949

Complex concept lattices for simulating human prediction in sport

In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in understanding their evolution. In particular, global patterns are required to detect emergent concepts and trends, some of them of a qualitative nature. Formal concept analysis (FCA) is a theory whose goal is to discover and extract knowledge from qualitative data (organized in concept lattices). In complex environments, such as sport competitions, the large amount of information currently available turns concept lattices into complex networks. The authors analyze how to apply FCA reasoning in order to increase confidence in sports predictions by means of detecting regularities from data through the management of intuitive and natural attributes extracted from publicly available information. The complexity of concept lattices -considered as networks with complex topological structure- is analyzed. It is applied to building a knowledge based system for confidence-based reasoning, which simulates how humans tend to avoid the complexity of concept networks by means of bounded reasoning skills.Ministerio de Ciencia e Innovación TIN2009-09492Junta de Andalucía TIC-606

Simulating Language Dynamics by Means of Concept Reasoning

A problem in the phenomenological reconstruction of Complex Systems (CS) is the extraction of the knowledge that elements playing in CS use during its evolution. This problem is important because such a knowledge would allow the researcher to understand the global behavior of the system [1,2]. In this paper an approach to partially solve this problem by means of Formal Concept Analysis (FCA) is described in a particular case, namely Language Dynamics. The main idea lies in the fact that global knowledge in CS is naturally built by local interactions among agents, and FCA could be useful to represent their own knowledge. In this way it is possible to represent the effect of interactions on individual knowledge as well as the dynamics of global knowledge. Experiments in order to show this approach are given using WordNet.Ministerio de Ciencia e Innovación TIN2009-09492Junta de Andalucía TIC-606

Confidence-Based Reasoning with Local Temporal Formal Contexts

Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It provides tools for reasoning with implication basis (and association rules). In this paper we analyse how to apply FCA reasoning to increase confidence in sports betting, by means of detecting temporal regularities from data. It is applied to build a Knowledge based system for confidence reasoning.Ministerio de Ciencia e Innovación TIN2009-09492Junta de Andalucía TIC-606